TRANSFORMING SPECIFICATIONS INTO EFFICIENT PROGRAMS.DARLINGTON J.sdIN: NEW DIR. ALGORITHMIC LANG. WORK CONF.; ST PIERRE DE CHARTREUSE; 1976; LE CHESNAY; INST. RECH. INF. AUTOM.; DA. S.D.; PP. 135-145; BIBL. 12 REF.Conference Paper

A SYNTHESIS OF SEVERAL SORTING ALGORITHMSDARLINGTON J.1978; ACTA INFORMAT.; DEU; DA. 1978; VOL. 11; NO 1; PP. 1-30; BIBL. 6 REF.Article

ALICE: A MULTI-PROCESSOR REDUCTION MACHINE FOR THE PARALLEL EVALUATION OF APPLICATIVE LANGUAGESDARLINGTON J; REEVE M.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 65-75; BIBL. 2 P.Conference Paper

SOME TRANSFORMATIONS FOR DEVELOPING RECURSIVE PROGRAMS.BURSTALL RM; DARLINGTON J.sdIN: INT. CONF RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 465-472; BIBL. 10 REF.Conference Paper

Road safety educationDARLINGTON, J.Highways and transportation. 1990, Vol 37, Num 11, pp 17-19, issn 0265-6868, 3 p.Article

A TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS.BURSTALL RM; DARLINGTON J.1977; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1977; VOL. 24; NO 1; PP. 44-67; BIBL. 15 REF.Article

THE ROLE OF EXCURSIONS IN INTERACTIVE SYSTEMSDARLINGTON J; DZIDA W; HERDA S et al.1983; INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES; ISSN 0020-7373; GBR; DA. 1983; VOL. 18; NO 2; PP. 101-112; BIBL. 12 REF.Article

A higher-order removal methodCHIN, W.-N; DARLINGTON, J.Lisp and symbolic computation. 1996, Vol 9, Num 4, pp 287-322, issn 0892-4635Article

The significance of termite mounds in landscapesDARLINGTON, J. P. E. C.Sociobiology. 1989, Vol 15, Num 2, pp 265-266, issn 0361-6525Conference Paper

Comparison of nest structure and caste parameters of sympatric species of Odontotermes (Termitidae, Macrotermitinae) in KenyaDARLINGTON, J. P. E. C.Insectes sociaux. 1997, Vol 44, Num 4, pp 393-408, issn 0020-1812Article

A new type-checker for a functional languageFAIRBAIRN, J; DARLINGTON, J.Science of computer programming. 1986, Vol 6, Num 3, pp 273-290, issn 0167-6423Article

Seasonality in mature nests of the termite Macrotermes Michaelseni in KenyaDARLINGTON, J. P. E. C.Insectes sociaux. 1986, Vol 33, Num 2, pp 168-189, issn 0020-1812Article

Lenticular soil mounds in the Kenya highlandsDARLINGTON, J. P. E. C.Oecologia. 1985, Vol 66, Num 1, pp 116-121, issn 0029-8549Article

Multiple reproductives in nests of Macrotermes herus (Isoptera: Termitidae)DARLINGTON, J. P. E. C.Sociobiology. 1988, Vol 14, Num 2, pp 347-351, issn 0361-6525Article

Transformational program development in a particular problem domainPARTSCH, H; DARLINGTON, J.Science of computer programming. 1986, Vol 7, Num 2, pp 99-241, issn 0167-6423Article

Termites (Isoptera) as secondary occupants in mounds of Macrotermes michaelseni (Sjostedt) in KenyaDARLINGTON, J. P. E. C.Insectes sociaux. 2012, Vol 59, Num 2, pp 159-165, issn 0020-1812, 7 p.Article

Applications of a strategy for designing divide-and-conquer algorithmsSMITH, D. R; DARLINGTON, J.Science of computer programming. 1987, Vol 8, Num 3, pp 213-229, issn 0167-6423Article

Message-based functional operating systemsSTOYE, W; DARLINGTON, J.Science of computer programming. 1986, Vol 6, Num 3, pp 291-311, issn 0167-6423Article

Attacks by doryline ants and termite nest defences (Hymenoptera; Formicidae; Isoptera; Termitidae)DARLINGTON, J. P. E. C.Sociobiology. 1985, Vol 11, Num 2, pp 189-200, issn 0361-6525Article

The design of divide and conquer algorithmsSMITH, D. R; DARLINGTON, J.Science of computer programming. 1985, Vol 5, Num 1, pp 37-58, issn 0167-6423Article

A method for sampling the populations of large termite nestsDARLINGTON, J. P. E. C.Annals of applied biology. 1984, Vol 104, Num 3, pp 427-436, issn 0003-4746Article

Parallel-architecture-directed program transformationSHARP, D; CRIPPS, M; DARLINGTON, J et al.Parallel computing. 1992, Vol 18, Num 12, pp 1363-1380, issn 0167-8191Conference Paper

The electrolytic formation of barium superoxide as a reactive intermediate in aqueous solutionsFRANKLIN, T. C; DARLINGTON, J; ADENIYI, W. K et al.Journal of the Electrochemical Society. 1990, Vol 137, Num 7, pp 2124-2126, issn 0013-4651, 3 p.Article

The electrodestruction of 1,2-dibromoethane by anodic oxidation in aqueous surfactant suspensions in the presence of barumm peroxideFRANKLIN, T. C; DARLINGTON, J; SOLOUKI, T et al.Journal of the Electrochemical Society. 1991, Vol 138, Num 3, pp 747-750, issn 0013-4651, 4 p.Article

Ion pairing as a method of reducing the hydrogen embrittlement of iron = Appariement d'ion comme méthode pour réduire la fragilité par hydrogène du ferFRANKLIN, T. C; DARLINGTON, J; DAULAT, W et al.Surface & coatings technology. 1989, Vol 37, Num 1, pp 15-22, issn 0257-8972Article